 element foo{
  (
   element in1.1 {empty},
   element in1.2 {empty}
  ) & (
   element in2.1 {empty},
   element in2.2 {empty}
  )
 }
